--Nachfolger abhngiges Umlagern
--BE wird abhnig von einem Attribut der Nachfolger umgelagert.
/* BE wird abhngig von einem Attribut eines Nachfolgers umgelagert.
Ersetzen sie Attribut z.B. durch belegt und AttributWert durch false
wird zum ersten Nachfolger umgelagert der nicht belegt ist.

Implementierungsdetails: ?.AnzahlNF wird der Variablen anzahlNF zugewiesen
und nicht in den Schleifenkopf aufgenommen, um zu vermeiden da bei jedem
Schleifendurchlauf eine zeitaufwendige Auswertung des Pfades ?.AnzahlNF erfolgt.
*/
is
	anzahlNF:integer;
	i:integer;
do
	anzahlNF := ?.AnzahlNF;

	for i:=1 to anzahlNF loop
		if ?.nf(i).Attribut = AttributWert then
			@.umlagern(i);
			return;
		end;
	next;
end;
/*Attribut:Attribut des Nachfolgers welches die Umlagerung bestimmen soll.
AttributWert:Wert den das Attribut haben mu damit zu diesem Nachfolger umgelagert wird.
*/